Nuprl Definition : ma-interface-valtype 11,40
ma-interface-valtype(I;i;k) == ma-interface-info(I;i;k).1 
latex

Definitionst.1, ma-interface-info(I;i;k)
FDL editor aliasesma-interface-valtype

origin